perm filename LISP.2[F77,JMC]1 blob
sn#318045 filedate 1977-11-11 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 Additional chapters and sections to LISP book.
C00004 ENDMK
Cā;
Additional chapters and sections to LISP book.
1. Programs that look at or produce programs.
e.g. is it iterative, compile maplists into functions,
2. input-output
a.how to use the input and output functions
b. simple input-output of S-expressions, and programmed
algebraic i-o
c. syntax directed i-o, how to use it, how it works
3. lisp implementation
workings of maclisp - what the code compiles into, garbage,
4. syntax directed computation
transform and friends
there are some relevant programs
5. Applications to proof-checking and theorem proving. This should
be the major application chapter.
6. variants of lisp and extensions
hash lisp, Goto's NLISP, scheme, pop-2
7. guide to the literature
8. LISP based systems. Some examples and advice about writing them.
9. Introduction and historical note.